Argument and Computation and the Legacy of the Lvov-Warsaw School The part of the work published as “The Development of Argument and Computation and Its Roots in the Lvov-Warsaw School ” (co-authored with Chris Reed),

The main goal The goal of the inquiry is to expose those research areas of the Lvov-Warsaw School (LWS) which correspond to the contemporary study of argument and computation. As a possible point of departure for bridging the gap between these two research traditions main reasons for applying methods of automated reasoning (esp. the MIZAR system) in argument analysis are discussed. Logical ideas of the LWS and the computational models of argument Which logical ideas of the LWS may be employed in the area of building computa-tional models of argument? Among many issues discussed within the logical studies carried out in the LWS, there are two topics which may be of interest in the context of investigating the issues on the overlap between argumentation theory and computer science: • the concepts of logic and reasoning — for these concepts illustrate the tendency to combine formal analysis of arguments with the pragmatic characteristics o